Multiuser discrete-event control with active events
نویسندگان
چکیده
منابع مشابه
Multiuser discrete-event control with active events
The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events that they can trigger. A variety of liveness and safety specifications can be considered within this extended framework. A synthesis algorithm of minimally restrictive controllers is outlined. Multiuser systems are also discus...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملModel Transformation with Hierarchical Discrete-Event Control
Model Transformation with Hierarchical Discrete-Event Control
متن کاملSupervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
This paper studies the supervisory control problem of nondeterministic discrete event systems with driven events in the setting of masked prioritized synchronous composition (MPSC). MPSC was extended from prioritized synchronous composition (PSC) by Kumar and Heymann [15] in order to permit systems interaction with their environment via interface masks. They also studied the supervisory control...
متن کاملDecentralized Discrete-Event Control Problems
Supervisory control themy is the study of discrete-event processes, such as computer systems and manufacturing systems, which require control to induce desirable behavior. Informally, a dimte-event system is a process (or set of processes) that s u n s out in some initial state and is transformed from state to state by the occurrence of discrete events. Such a system can be thought of as a set ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2002
ISSN: 0018-9286
DOI: 10.1109/9.983368